\begin{tabbing}
component{-}output{-}disjoint\{i:l\}(${\it ds}$;${\it da}$;$T_{1}$;$T_{2}$;$C_{1}$;$C_{2}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\forall$$X_{1}$:Interface(${\it ds}$;${\it da}$;$T_{1}$), $X_{2}$:Interface(${\it ds}$;${\it da}$;$T_{2}$), ${\it es}$:ES.\+
\\[0ex]es{-}decl(${\it es}$;${\it ds}$;${\it da}$) $\Rightarrow$ [[($C_{1}$($X_{1}$)).2]] $\cap$ [[($C_{2}$($X_{2}$)).2]] = 0
\-
\end{tabbing}